Implementation-Dependent State Variables